Integrated Formal Methods
It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...
Lire la suite
Modular Programming Languages
On behalf of the Steering Committee we are pleased to present the proceedings of the 2006 Joint Modular Languages Conference ...
Lire la suite
Object-Oriented Technology
For the ?fth time in its history, in cooperation with Springer-Verlag, the European C- ference on Object-Oriented Programming ...
Lire la suite
Quality of Service – IWQoS 2005
. T- ditionally very focused on the area of networking, it has grown to include mobile applications, wireless environments, ...
Lire la suite
Reuse of Off-the-Shelf Components
Software reuse as an umbrella concept has been around for several decades. Over time, new techniques and approaches have ...
Lire la suite
Service-Oriented Computing – ICSOC 2005
The 2005 edition had the important and ambitious goal of bringing together the different communities working in Web services ...
Lire la suite
Software Architecture (vol. # 4344)
This book constitutes the proceedings of the 3rd European Workshop on Software Architecture (EWSA 2006) provided an internationalforumforresearchersandpractitionersfromacademiaandindustry ...
Lire la suite
Software Architectures, Components, and Applications
Researchers and professionals will find in this text the thoroughly refereed post-proceedings of the Third International ...
Lire la suite
